2. Verify the termination